cdef class SatSolver:
    pass
